Constraint logic programming

Results: 401



#Item
271Computing / Programming paradigms / Operations research / Logic programming / Prolog / Mathematical optimization / Backtracking / Constraint logic programming / Constraint satisfaction / Constraint programming / Software engineering / Computer programming

From: AAAI-83 Proceedings. Copyright ©1983, AAAI (www.aaai.org). All rights reserved. INTELLIGENT CONTROL USING INTEGRITY CONSTRAINTS Jack Minker

Add to Reading List

Source URL: www.aaai.org

Language: English - Date: 2006-01-09 18:28:48
272Constraint programming / Programming paradigms / Lisp programming language / Prolog / Functional languages / Lisp / Logic programming / Planner / Oz / Software engineering / Computing / Computer programming

K¨ unstliche Intelligenz manuscript No. (will be inserted by the editor) What Language Do You Use To Create Your AI Programs and Why?

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2013-01-07 17:29:29
273Artificial intelligence / Constraint logic programming / Local consistency / Constraint satisfaction problem / Constraint satisfaction / Structure / Answer set programming / Valuation / Complexity of constraint satisfaction / Constraint programming / Software engineering / Computer programming

Under consideration for publication in Theory and Practice of Logic Programming 1 arXiv:1007.4114v1 [cs.LO] 23 Jul 2010

Add to Reading List

Source URL: www.cse.unsw.edu.au

Language: English - Date: 2010-12-17 06:32:10
274Mathematics / Local consistency / Constraint satisfaction / Vector space / Constructible universe / Mathematical optimization / Constraint logic programming / Decomposition method / Constraint programming / Algebra / Software engineering

doi:[removed]j.artint[removed]

Add to Reading List

Source URL: www.cse.unsw.edu.au

Language: English - Date: 2006-07-07 02:40:42
275Computing / Local consistency / Constraint satisfaction / Constraint graph / Constraint / Constraint logic programming / Constraint optimization / Constraint programming / Software engineering / Computer programming

Multi-way Dataflow Constraint Propagation in Realtime Collaborative Systems Kai Lin, David Chen and Geoff Dromey Chengzheng Sun School of Information and Communication Technology

Add to Reading List

Source URL: www98.griffith.edu.au

Language: English - Date: 2007-10-15 00:42:00
276Database management systems / Prolog / Constraint programming / Programming paradigms / Logic programming / Temporal database / Deductive database / Visual Prolog / Software engineering / Computing / Computer programming

Abstract Development of a pmctzcal framework for commonsense reasoning about temporal relations in databases is the m a n task of this research effort Logc programming is the chosen computational paradigm and commerciall

Add to Reading List

Source URL: etd.ncsi.iisc.ernet.in

Language: English - Date: 2012-05-03 01:00:53
277Computing / Programming paradigms / Educational psychology / Neuropsychological assessment / Problem solving / Logic programming / Prolog / Backtracking / Constraint logic programming / Software engineering / Constraint programming / Computer programming

From: AAAI-87 Proceedings. Copyright ©1987, AAAI (www.aaai.org). All rights reserved. Explanation-Based Ajay Faillure

Add to Reading List

Source URL: aaai.org

Language: English - Date: 2006-01-09 19:15:42
278Multi-agent systems / Constraint programming / Programming paradigms / Knowledge representation / Prolog / Logic programming / Agent-based model / Constraint logic programming / Software agent / Software engineering / Computing / Artificial intelligence

KRAFT: Supporting Virtual Organizations through Knowledge Fusion

Add to Reading List

Source URL: aaai.org

Language: English - Date: 2006-01-11 09:23:46
279Logic programming / E / Constraint programming / Computing / Artificial intelligence / Programming paradigms / Constraint satisfaction / Enaction

*First European Summer School on Life & Cognition* * San Sebastian 22nd-26th June 2010 * - Introduction to a Systemic Theory of Meaning[removed]Christophe Menant - Bordeaux France (http://crmenant.free.fr/Home-Page/index

Add to Reading List

Source URL: crmenant.free.fr

Language: English - Date: 2013-10-21 13:17:45
280Mathematics / Convex optimization / Linear programming / Constraint / Entailment / Operations research / Logic / Mathematical optimization

Optimal Sampling Laws for Stochastically Constrained Simulation Optimization on Finite Sets Susan R. Hunter, Raghu Pasupathy The Grado Department of Industrial and Systems Engineering, Virginia Tech, Blacksburg, VA 24061

Add to Reading List

Source URL: scholar.lib.vt.edu

Language: English - Date: 2011-03-16 16:23:05
UPDATE